The Logic of Perfect MV-algebras
نویسندگان
چکیده
In this paper we summarize results on perfect MV-algebras and we show that the class of first order à Lukasiewicz formulas valid in all interpretations over perfect MV-chains is axiomatizable.
منابع مشابه
Convergence with a Fixed Regulator in Perfect Mv-algebras
MV-algebras were introduced by Chang as an algebraic counterpart of the Lukasiewicz infinite-valued logic. D. Mundici proved that the category of MV-algebras is equivalent to the category of abelian l-groups with strong unit. A. Di Nola and A. Lettieri established a categorical equivalence between the category of perfect MV-algebras and the category of abelian l-groups. In this paper we investi...
متن کاملSTONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES
$Rsb{0}$-algebras, which were proved to be equivalent to Esteva and Godo's NM-algebras modelled by Fodor's nilpotent minimum t-norm, are the equivalent algebraic semantics of the left-continuous t-norm based fuzzy logic firstly introduced by Guo-jun Wang in the mid 1990s.In this paper, we first establish a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras and the category of t...
متن کاملThe variety generated by perfect BL-algebras: an algebraic approach in a fuzzy setting
BL-algebras are the Lindembaum algebras of the propositional calculus coming from the continuous triangular norms and their residua in the real unit interval. Any BL-algebra is a subdirect product of local (linear)BLalgebras. A local BL-algebra is either locally finite (and hence an MValgebra) or perfect or peculiar. Here we study extensively perfect BLalgebras characterizing, with a finite sch...
متن کاملGödel spaces and perfect MV-algebras
Article history: Received 30 October 2014 Received in revised form 24 March 2015 Accepted 11 May 2015 Available online 15 May 2015
متن کامل